#ifndef __INT_H__
#define __INT_H__
void systrmp_int();
 
#endif